#include "satsolver.h"
#include "minisat-2.2/SolverTypes.h"
//#include "cryptominisat/SolverTypes.h"
#include "itpg/SolverTypes.h"

Lit::operator MinisatProof::Lit()
{
//   return reinterpret_cast<Minisat::Lit>( x ) ;
   return MinisatProof::Lit( var() , sign () );
}
Lit::operator Minisat::Lit()
{
//   return reinterpret_cast<Minisat::Lit>( x ) ;
   return Minisat::mkLit( var() , sign () );
}

